Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder

Source URL: users-cs.au.dk

• Theoretical computer science
• Symposium on Principles of Programming Languages
• SIGPLAN
• ACM SIGACT
• Gradual typing
• Lambda calculus

Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python

Source URL: homes.soic.indiana.edu

• Object-oriented programming languages
• High-level programming languages
• Scripting languages
• Cross-platform software
• Procedural programming languages
• Gradual typing
• Jython
• Type system
• Python
• D
• Go

Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder

Source URL: homes.soic.indiana.edu

• Data types
• Type theory
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Gradual typing
• Type system
• This
• Objective-C
• Type safety
• Parameter
• Reference

A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment

Source URL: s3.amazonaws.com

• Functional languages
• Type theory
• Type systems
• Scripting languages
• Cross-platform software
• Clojure
• Gradual typing
• Functional programming
• Lisp
• Type inference
• Dynamic programming language
• ML

Gradual Typing with Unification-based Inference Jeremy G. Siek Manish Vachharajani University of Colorado at Boulder

Source URL: ecee.colorado.edu

Gradual Typing for Mutable Objects Jeremy G. Siek1 , Michael M. Vitousek2 , and Shashank Bharadwaj1 1 Department of Electrical, Computer, and Energy Engineering 2

Source URL: ecee.colorado.edu

Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz

Source URL: www.ccs.neu.edu

Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA

Source URL: ecee.colorado.edu

• Type theory
• Software engineering
• Programming language theory
• Mathematical logic
• Type systems
• Data types
• Gradual typing
• Subtyping
• Symbol
• Type safety
• Model theory
• Type inference

Session Types with Gradual Typing Peter Thiemann University of Freiburg, Georges-Khler-Allee 079, 79110 Freiburg, Germany, Abstract. Session types enable fine-grained static control over communication p

Source URL: www.cs.le.ac.uk